The modification of a system may include rewriting a portion of the code, changing the configuration or distribution of apps within the system, or other changes. 系统修改可能包括重新编写代码的某个部分、更改系统内部的应用程序的配置或分发以及其他更改。
Term rewriting system is a simple and powerful computing model and it has important applications in many fields. 项重写系统是一种简洁通用的计算模型,在许多领域中有着重要的应用。
Parallel implementation approaches of term rewriting system 项重写系统的并行实现方案
The compressed path ordering and the structure measure of term rewriting system 压缩路径序与重写系统的结构测度
A dependence term rewriting system and its applications in programming languages 依赖项重写系统及其在程序设计语言中的应用
In this paper, the symbolic measure is introduced, and semiregularity is defined, and the confluence of semiregular term rewriting system is proved. 本文着重研究重写系统的合流性,通过引入符号测度的概念,本文定义了半正则重写系统,并证明了半正则重写系统的合流性。
Research of Risk Analysis Model Based on Rewriting System 基于重写系统的风险分析模型研究
String Rewriting System and Its Application to Pattern Preparation System 字符串重写系统的改进算法及其在花型准备系统中的应用
The approach employs a hyper-graph rewriting system to organize intrinsic information of the system and to model creativity process. 该方法利用超图重写系统组织系统的内部结构和创新过程。
This paper describes the theory of machine discovery logic based on second order term rewriting technology as well as two experiment system DL and ALP. 介绍了基于二阶项重写技术的机器发现逻辑理论及两个实验系统DI和ALP。
The principle of String Rewriting System and its improved algorithm-Pattern Rewriting Algorithm are introduced with emphasis. 介绍了字符串重写系统的基本原理及其改进算法&模板重写算法。
Semiregular term rewriting system and its confluence 半正则重写系统及其合流性
These results can direct the implementing of term rewriting system by graph rewriting system. 以上结果能够用于指导项重写的图实现。
The Confluence of Left& linear Term Rewriting System 左线性重写系统的合流性
Graph rewriting is an efficient technique for implementing term rewriting system. From the angle of implementation, we study the soundness and completeness of graph rewriting simulating term rewriting. 图重写能够有效地实现项重写.文章从项重写的图实现的角度出发,研究了图重写模拟项重写的正确性和完备性;
The structure measure is very important to prove the confluence of term rewriting system. This paper discusses the effective definition approach of structure measure. 结构测度对于判别重写系统的合流性是极为重要的,本文着重研究结构测度的有效定义方法。
In addition, the security policies of database and the method using session to protect against rewriting URL ensure the system's security. 另外结合数据库本身的安全策略及利用session防止重写URL的方法,加强了系统的安全性。
Study default logic using rewriting system 利用重写系统研究缺省逻辑
The rewriting theory he proposed elaborated the function of translation in literary system. 他提出的改写理论及影响改写的几大要素重新诠释了翻译在文化系统中所起的作用。
The software part mainly introduces the rewriting of the U-boot and transplantation, cutting and transplantation of the Linux kernel and file system mount and drive and software to write a few parts. 软件部分主要是介绍U-boot的改写和移植,Linux内核的裁剪和移植,文件系统的挂载和驱动和软件的编写几大部分。
The order could not only examine the termination of term rewriting system, but also has the advantage of automated computing and less rules using. 该序不仅能够检测项重写系统的终止性,而且具有易于自动化运算,规则调用次数较少的优点。
This study analyzed the translated text of Wolf Totem from the perspective of rewriting and elaborated successful rewriting was able to accelerate the acceptance of literary works in another literary system. 本研究从改写的角度对《狼图腾》的译本进行分析,论述了成功的改写能够推动文学作品在另一文学系统中的接受过程。
We have used URL Rewriting technology to enhance the search engine optimization feature of the system. 并且利用URLRewriting技术着重加强了系统的搜索引擎优化特性。
The third chapter compared "Woman Warrior" and "China Men", they are similar on rewriting, so these two books form a complete system. 第三章综合比较《女勇士》与《中国佬》,探讨两本小说在改写问题上的相似之处,以此证明两本书是一个完整的叙述体系,并深入探讨作者的改写目的。